منابع مشابه
Koka: Programming with Row Polymorphic Effect Types
We propose a programming model where effects are treated in a disciplined way, and where the potential side-effects of a function are apparent in its type signature. The type and effect of expressions can also be inferred automatically, and we describe a polymorphic type inference system based on Hindley-Milner style inference. A novel feature is that we support polymorphic effects through row-...
متن کاملEric Hill Pranay Koka Cs838 Final Report
For our CS838 course project, we chose to look at availability solutions in CMPs. More specifically, we investigated portions of two recently proposed availability schemes, SafetyNet, and ReVive. The goal of this project was to characterize how performance would be affected if either of these two schemes were implemented. This performance characterization was done by contrasting the storage ove...
متن کاملEG for systolic groups
We prove that if a group G is systolic, i.e. if it acts properly and cocompactly on a systolic complex X, then an appropriate Rips complex constructed from X is a finite model for EG.
متن کاملVEGF and EG-VEGF
Vascular endothelial growth factor (VEGF) plays an essential role in angiogenesis. This includes developmental angiogenesis as the loss of a single allele is embryonic lethal due to lack of development of endothelial cells. During early development, endothelial cells depend on VEGF for survival and if it is withdrawn, massive apoptosis results. This is not true in adult organisms; withdrawal of...
متن کاملCombined MEG and fMRI model
An integrated model for magnetoencephalography (MEG) and functional Magnetic Resonance Imaging (fMRI) is proposed. In the proposed model, MEG and fMRI outputs are related to the corresponding aspects of neural activities in a voxel. Post synaptic potentials (PSPs) and action potentials (APs) are two main signals generated by neural activities. In the model, both of MEG and fMRI are related to t...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: rus & avhengighet
سال: 2000
ISSN: 0809-2834
DOI: 10.18261/issn0809-2834-2000-06-05